home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / morley.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  1.5 KB  |  45 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.781122, 0.015048, "1");
  3. v2 = .free(-0.064295, 0.502052, "2");
  4. v3 = .free(0.307798, -0.400821, "3");
  5. l1 = .l.vv(v1, v2);
  6. l2 = .l.vv(v2, v3);
  7. l3 = .l.vv(v3, v1);
  8. third = .len.f(0.333333333);
  9. a = .a.vvv(v1, v2, v3);
  10. a3 = .len.times(a,third);
  11. vv1 = .v.avv(a3, v1, v2, .invisible);
  12. ww1 = .v.avv(a3, vv1, v2, .invisible);
  13. l4 = .l.vv(v2, ww1, .invisible, .ray12);
  14. l5 = .l.vv(v2, vv1, .invisible, .ray12);
  15. b = .a.vvv(v2, v3, v1);
  16. b3 = .len.times(b,third);
  17. vv2 = .v.avv(b3, v2, v3, .invisible);
  18. ww2 = .v.avv(b3, vv2, v3, .invisible);
  19. l6 = .l.vv(v3, ww2, .invisible, .ray12);
  20. l7 = .l.vv(v3, vv2, .invisible, .ray12);
  21. c = .a.vvv(v3, v1, v2);
  22. c3 = .len.times(c,third);
  23. vv3 = .v.avv(c3, v3, v1, .invisible);
  24. ww3 = .v.avv(c3, vv3, v1, .invisible);
  25. l8 = .l.vv(v1, ww3, .invisible, .ray12);
  26. l9 = .l.vv(v1, vv3, .invisible, .ray12);
  27. v4 = .v.ll(l8, l5);
  28. v5 = .v.ll(l6, l9);
  29. v6 = .v.ll(l7, l4);
  30. l10 = .l.vv(v1, v5, .red);
  31. l11 = .l.vv(v1, v4, .red);
  32. l12 = .l.vv(v4, v2, .red);
  33. l13 = .l.vv(v2, v6, .red);
  34. l14 = .l.vv(v6, v3, .red);
  35. l15 = .l.vv(v3, v5, .red);
  36. l16 = .l.vv(v5, v6, .yellow);
  37. l17 = .l.vv(v6, v4, .yellow);
  38. l18 = .l.vv(v4, v5, .yellow);
  39. .text("Morley's Theorem:");
  40. .text("");
  41. .text("Given an arbitrary triangle 123, construct the angle triasectors");
  42. .text("at each vertex.  The intersections of the trisectors as shown in");
  43. .text("the figure form an equilateral triangle.  Any of the points 1, 2");
  44. .text("or 3 can be moved to try different triangles.");
  45.